Expressions used by this function: {
	%argc + 50, %add + 96, %add - 50, 96 * %add, %add + 50, 50 - 96, %sub4 + %f.0
}

DFA Algorithm converged after 2  iterations
Basic Block Name : entry
gen[BB] : {%argc + 50, %add + 96}
kill[BB] : {%add + 96, %add - 50, 96 * %add, %add + 50}
IN[BB] : {}
OUT[BB] : {%argc + 50, %add + 96}

Basic Block Name : if.then
gen[BB] : {%add - 50, 96 * %add}
kill[BB] : {}
IN[BB] : {%argc + 50, %add + 96}
OUT[BB] : {%argc + 50, %add + 96, %add - 50, 96 * %add}

Basic Block Name : if.else
gen[BB] : {96 * %add, %add + 50}
kill[BB] : {}
IN[BB] : {%argc + 50, %add + 96}
OUT[BB] : {%argc + 50, %add + 96, 96 * %add, %add + 50}

Basic Block Name : if.end
gen[BB] : {50 - 96, %sub4 + %f.0}
kill[BB] : {%sub4 + %f.0}
IN[BB] : {%argc + 50, %add + 96, 96 * %add}
OUT[BB] : {%argc + 50, %add + 96, 96 * %add, 50 - 96, %sub4 + %f.0}


